F. Dadeau: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Measuring a Java Test Suite Coverage Using JML Specifications

F. Dadeau, Y. Ledru, L. du Bousquet

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 307 KB

english, 2007

2

Testing adaptation policies for software components

Dadeau, FrÃ©dÃ©ric, Gros, Jean-Philippe, Kouchnarenko, Olga

Journal:

Software Quality Journal

Year:

2020

Language:

english

File:

PDF, 1.59 MB

english, 2020

3

[IEEE 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Oxford, United Kingdom (2020.8.3-2020.8.6)] 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Identifying and Generating Missing Tests using Machine Learning on Execution Traces

Utting, Mark, Legeard, Bruno, Dadeau, Frederic, Tamagnan, Frederic, Bouquet, Fabrice

Year:

2020

File:

PDF, 205 KB

2020

4

[IEEE 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Porto, Portugal (2020.10.24-2020.10.28)] 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - A Case-based Approach for introducing Testing Tools and Principles

Dadeau, Frederic, Gros, Jean-Philippe, Peureux, Fabien

Year:

2020

File:

PDF, 1.19 MB

2020

5

On the Use of Uniform Random Generation of Automata for Testing

Frédéric Dadeau, Jocelyn Levrey, Pierre-Cyrille Héam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 909 KB

english, 2009

6

A Case Study in Matching Test and Proof Coverage

Y. Ledru, L. du Bousquet, F. Dadeau, F. Allouti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 285 KB

english, 2007

7

jSynoPSys – A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines

Frédéric Dadeau, Régis Tissot

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.33 MB

english, 2009

8

Scenario-based testing from UML/OCL behavioral models

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2011

Language:

english

File:

PDF, 1.40 MB

english, 2011

9

Proving and Debugging Set-Based Specifications

J.-F. Couchot, F. Dadeau, D. Déharbe, A. Giorgetti, S. Ranise

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 352 KB

english, 2004

10

Scenario-based testing using symbolic animation of B models

Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot

Journal:

Software Testing, Verification and Reliability

Year:

2012

Language:

english

File:

PDF, 1.23 MB

english, 2012

11

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - Assessing the Quality of B Models

de Kermadec, Adrien, Dadeau, Frederic, Bouquet, Fabrice

Year:

2010

Language:

english

File:

PDF, 220 KB

english, 2010

12

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - Mutation-Based Test Generation from Security Protocols in HLPSL

Dadeau, Frédéric, Héam, Pierre-Cyrille, Kheddam, Rafik

Year:

2011

Language:

english

File:

PDF, 369 KB

english, 2011

13

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - Selective Test Generation Method for Evolving Critical Systems

Fourneret, Elizabeta, Bouquet, Fabrice, Dadeau, Frédéric, Debricon, Stéphane

Year:

2011

Language:

english

File:

PDF, 1004 KB

english, 2011

14

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Constraints in Software Testing, Verification and Analysis CSTVA'2013

Cadar, Cristian, Dadeau, Frederic

Year:

2013

Language:

english

File:

PDF, 100 KB

english, 2013

15

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Grammar-Based Testing Using Realistic Domains in PHP

Enderlin, Ivan, Dadeau, Frederic, Giorgetti, Alain, Bouquet, Fabrice

Year:

2012

Language:

english

File:

PDF, 228 KB

english, 2012

16

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool

Dadeau, Frederic, Castillos, Kalou Cabrera, Ledru, Yves, Triki, Taha, Vega, German, Botella, Julien, Taha, Safouan

Year:

2013

Language:

english

File:

PDF, 882 KB

english, 2013

17

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Model-Based Testing Using Symbolic Animation and Machine Learning

Bué, Pierre-Christophe, Dadeau, Frédéric, Héam, Pierre-Cyrille

Year:

2010

Language:

english

File:

PDF, 416 KB

english, 2010

18

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Mastering combinatorial explosion with the tobias-2 test generator

Ledru, Yves, Dadeau, Frédéric, du Bousquet, Lydie, Ville, Sébastien, Rose, Elodie

Year:

2007

Language:

english

File:

PDF, 167 KB

english, 2007

19

A compositional automata-based semantics and preserving transformation rules for testing property patterns

Taha, Safouan, Julliand, Jacques, Dadeau, Frédéric, Castillos, Kalou Cabrera, Kanso, Bilal

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 1013 KB

english, 2015

20

[ACM Press the 2nd international workshop - Atlanta, Georgia (2007.11.06-2007.11.06)] Proceedings of the 2nd international workshop on Random testing co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) - RT '07 - Directed random reduction of combinatorial test suites

Dadeau, Frédéric, Ledru, Yves, Du Bousquet, Lydie

Year:

2007

File:

PDF, 201 KB

2007

21

[ACM Press the 2nd international workshop - Atlanta, Georgia (2007.11.06-2007.11.06)] Proceedings of the 2nd international workshop on Random testing co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) - RT '07 - Directed random reduction of combinatorial test suites

Dadeau, Frédéric, Ledru, Yves, Du Bousquet, Lydie

Year:

2007

Language:

english

File:

PDF, 201 KB

english, 2007

22

Model-based mutation testing from security protocols in HLPSL

Dadeau, Frédéric, Héam, Pierre-Cyrille, Kheddam, Rafik, Maatoug, Ghazi, Rusinowitch, Michael

Journal:

Software Testing, Verification and Reliability

Year:

2015

Language:

english

File:

PDF, 3.20 MB

english, 2015

23

Automated UML models merging for web services testing

Pretre, Vincent, Kermadec, Adrien De, Bouquet, Fabrice, Lang, Christophe, Dadeau, Frederic

Journal:

International Journal of Web and Grid Services

Year:

2009

Language:

english

File:

PDF, 457 KB

english, 2009

24

Contract-based testing for PHP with Praspel

Dadeau, Frederic, Giorgetti, Alain, Bouquet, Fabrice, Enderlin, Ivan

Journal:

Journal of Systems and Software

Year:

2017

Language:

english

File:

PDF, 2.15 MB

english, 2017

25

[IEEE 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) - Paris, France (2016.8.24-2016.8.26)] 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) - A Model-Based Testing Approach for Security Protocols

Heam, Pierre-Cyrille, Dadeau, Frederic, Kheddam, Rafik, Maatoug, Ghazi, Rusinowitch, Michael

Year:

2016

Language:

english

File:

PDF, 204 KB

english, 2016

26

Temporal property patterns for model-based testing from UML/OCL

Dadeau, Frédéric, Fourneret, Elizabeta, Bouchelaghem, Abir

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 2.35 MB

english, 2017

27

Complementary test selection criteria for model-based testing of security components

Botella, Julien, Capuron, Jean-François, Dadeau, Frédéric, Fourneret, Elizabeta, Legeard, Bruno, Schadle, Florence

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2018

Language:

english

File:

PDF, 2.14 MB

english, 2018